281. Recent advances in constraints
Author: Javier Larrosa, Barry O'Sullivan (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
Classification :
Q340
.
J65
2011
282. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
283. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
284. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
285. Recent developments in decision support systems
Author: edited by Clyde W. Holsapple, University of Kentucky, Business and Economic Bldg., Room 317, Lexington, KY 40506-0034, USA, Andrew B. Whinston, Department of Management Science and Information Systems, CBA 5.202, Graduate School of Business, University of Texas at Austin, Austin, TX 78712-1175, USA.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision support systems -- Congresses.,Decision support systems.,Management -- Data processing -- Congresses.
286. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
287. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
288. Research and education in robotics-EUROBOT 2008 :
Author: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
TJ210
.
3
.
E976
2009eb
289. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48
290. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
291. Rewriting techniques and applications :
Author: N. Dershowitz, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
Classification :
QA267
.
I555
1989
292. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author: Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
Classification :
QA
76
.
76
.
R95
2016
293. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
294. Scalable Uncertainty Management
Author: \ Christoph Beierle • Alex Dekhtyar (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
Classification :
Q
375
.
S8S28
2015
E-Book
,
295. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
296. Scalable uncertainty management :
Author: Salem Benferhat, John Grant, (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses,Artificial intelligence-- Congresses,Uncertainty (Information theory)-- Congresses
Classification :
Q375
.
S86
2011
297. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
.
I56
76
.
642
1990
298. Semantics of concurrent computation :
Author: edited by Gilles Kahn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
Classification :
QA76
.
6
E358
1979
299. Semantics of data types :
Author: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
300. Simulated evolution and learning :
Author: Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
Classification :
QA76
.
9
.
C65
S42
1996
